Buy Used and New Orna Grumberg Books

Results for Orna Grumberg

Showing 1 to 1 of 1 results
Model Checking (Cyber Physical Systems Series) Model Checking (Cyber Physical Systems Series) by Edmund M. Clark Jr.,Orna Grumberg,Daniel Kroening,Doron Peled,Helmut Veith

Model Checking (Cyber Physical Systems Series)

by Edmund M. Clark Jr.,Orna Grumberg,Daniel Kroening,Doron Peled,Helmut Veith


ISBN 13: 9780262038836

Format: Hardcover (424 pages)
Publisher: MIT Press
Published: 21 Dec 2018

Save for later

 
New : $73.42  
New : $73.42